formal methods (2)
mattdf.bsky.social
software engineer, vuln finder // into machine learning, formal methods, cryptography, pure maths, finance, game theory // links/contact: https://mattdf.com // twitter: @matthewdif
electricfirefly.bsky.social
Computer Scientist researching zero-knowledge proofs, formal methods, and cryptography. barrack.tech She/her